Symmetric quadratic Hamiltonians with pseudo-Hermitian matrix representation

We prove that any symmetric Hamiltonian that is a quadratic function of the coordinates and momenta has a pseudo-Hermitian adjoint or regular matrix representation. The eigenvalues of the latter matrix are the natural frequencies of the Hamiltonian operator. When all the eigenvalues of the matrix are real, then the spectrum of the symmetric Hamiltonian is real and the operator is Hermitian. As illustrative examples we choose the quadratic Hamiltonians that model a pair of coupled resonators with balanced gain and loss, the electromagnetic self-force on an oscillating charged particle and an active LRC circuit.     

Stability and asymptotic behavior of solutions for some linear partial functional differential equations in critical cases

In this work, we study the stability of the solution semigroup for some linear partial functional differential equations with infinite delay in a Banach space when the exponential stability fails. We use the so-called characteristic equation to compute the order of each pole of the resolvent operator associated with the infinitesimal generator of the solution semigroup. This result allows us to give sufficient conditions for having stability of the solution semigroup.     

<Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-singular dichotomy for orbital measures of classical simple Lie algebras

We prove that the G-invariant orbital measures supported on adjoint orbits in the Lie algebra of a classical, compact, connected, simple Lie group satisfy a smoothness dichotomy: Either μ ^k is singular to Lebesgue measure or μ ^k ∈ L ². The minimum k for which μ ^k ∈ L ² is specified and is also the minimum k such that the k-fold sum of the orbit has positive measure. S. K. Gupta appreciates the hospitality of the Department of Pure Mathematics at the University of Waterloo where some of this research was done. K. E. Hare was supported in part by NSERC.     

Shades of orthodoxy in Rees-Sushkevich varieties

It is shown that, within the class of Rees-Sushkevich varieties that are generated by completely (0-) simple semigroups over groups of exponent dividing n, there is a hierarchy of varieties determined by the lengths of the products of idempotents that will, if they fall into a group ℋ-class, be idempotent. Moreover, the lattice of varieties generated by completely (0-) simple semigroups over groups of exponent dividing n, with the property that all products of idempotents that fall into group ℋ-classes are idempotent, is shown to be isomorphic to the direct product of the lattice of varieties of groups with exponent dividing n and the lattice of exact subvarieties of a variety generated by a certain five element completely 0-simple semigroup.     

On ordered categories as a framework for fuzzification of algebraic and topological structures

Using the framework of ordered categories, the paper considers a generalization of the fuzzification machinery of algebraic structures introduced by Rosenfeld as well as provides a new approach to fuzzification of topological structures, which amounts to fuzzifying the underlying “set” of a structure in a suitably compatible way, leaving the structure itself crisp. The latter machinery allows the so-called “double fuzzification”, i.e., a fuzzification of something that is already fuzzified.     

Approximate and pseudo-amenability of various classes of Banach algebras

We continue the investigation of notions of approximate amenability that were introduced in work of the second and third authors together with R.J. Loy. It is shown that every boundedly approximately contractible Banach algebra has a bounded approximate identity, and that the Fourier algebra of the free group on two generators is not operator approximately amenable. Further examples are obtained of ?¹-semigroup algebras which are approximately amenable but not amenable; using these, we show that bounded approximate contractibility need not imply sequential approximate amenability. Results are also given for Segal algebras on locally compact groups, and algebras of p-pseudo-functions on discrete groups.     

与非光滑半群相伴的加权Hardy和BMO空间

该文给出与非光滑核有关的半群所刻画的加权Hardy空间与BMO空间, 讨论了它们的性质与对偶性.     

A methodology for the development of discrete adjoint solvers using automatic differentiation tools

A methodology for the rapid development of adjoint solvers for computational fluid dynamics (CFD) models is presented. The approach relies on the use of automatic differentiation (AD) tools to almost completely automate the process of development of discrete adjoint solvers. This methodology is used to produce the adjoint code for two distinct 3D CFD solvers: a cell-centred Euler solver running in single-block, single-processor mode and a multi-block, multi-processor, vertex-centred, magneto-hydrodynamics (MHD) solver. Instead of differentiating the entire source code of the CFD solvers using AD, we have applied it selectively to produce code that computes the transpose of the flux Jacobian matrix and the other partial derivatives that are necessary to compute sensitivities using an adjoint method. The discrete adjoint equations are then solved using the Portable, Extensible Toolkit for Scientific Computation (PETSc) library. The selective application of AD is the principal idea of this new methodology, which we call the AD adjoint (ADjoint). The ADjoint approach has the advantages that it is applicable to any set of governing equations and objective functions and that it is completely consistent with the gradients that would be computed by exact numerical differentiation of the original discrete solver. Furthermore, the approach does not require hand differentiation, thus avoiding the long development times typically required to develop discrete adjoint solvers for partial differential equations, as well as the errors that result from the necessary approximations used during the differentiation of complex systems of conservation laws. These advantages come at the cost of increased memory requirements for the discrete adjoint solver. However, given the amount of memory that is typically available in parallel computers and the trends toward larger numbers of multi-core processors, this disadvantage is rather small when compared with the very significant advantages that are demonstrated. The sensitivities of drag and lift coefficients with respect to different parameters obtained using the discrete adjoint solvers show excellent agreement with the benchmark results produced by the complex-step and finite-difference methods. Furthermore, the overall performance of the method is shown to be better than most conventional adjoint approaches for both CFD solvers used.